：反演归结（消解）证明定理时，若当前归结式是（）时，则定理的证。A:空子句 B:永真式 C:包孕式答案: 空子句5、